1. Computer Aided Verification
Author: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47C6
2015
E-Book
,
2. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
3. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,
4. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
5. Formal methods for industrial critical systems :
Author: Darren Cofer, Alessandro Fantechi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
9
.
F67
I594
2008eb
6. Formal methods for industrial critical systems :
Author: Gwen Salaün, Bernhard Schätz (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I58
2011
7. Formal methods for industrial critical systems
Author: Mariëlle Stoelinga, Ralf Pinger (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I594
2012eb
8. Hardware and software
Author: / Hana Chockler, Alan J. Hu (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Software architecture--Congresses,Computer input-output equipment--Congresses,Computer software--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2008
9. Hardware and software
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: output equipment ; Congresses. ; Computer software ; Verification ; Congresses. ; -Computer programs ; Verification ; Congresses. ; Software architecture ; Congresses. ; Computer input
10. Hardware and software, verification and testing
Author: / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Computer programs--Verification--Congresses,Integrated circuits--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2006
11. Hardware and software, verification and testing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
12. Program analysis and compilation, theory and practice
Author: / Thomas Reps, Mooly Sagiv, J?�rg Bauer (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Wilhelm, R.--(Reinhard),--1946,Computer programs--Verification--Congresses,Compilers (Computer programs)--Congresses,Computer programming--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
P745
,
2007
13. Program analysis and compilation, theory and practice
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: ; Computer programs ; Verification ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer programming ; Congresses. ; -Wilhelm, R. ; (Reinhard), ; 1946
14. Runtime verificatio
Author: / Saddek Bensalem, Doron A. Peled (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Formal methods (Computer science)--Congresses,Computer programs--Testing--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
R88
,
2009
15. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,
16. Verification, model checking, and abstract interpretatio
Author: / Gilles Barthe, Manuel Hermenegildo (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
17. Verification, model checking, and abstract interpretatio
Author: / Radhia Cousot (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
V53
,
2005
18. Verification, model checking, and abstract interpretatio
Author: / Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses
19. Verification, model checking, and abstract interpretation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programs ; Verification ; Congresses. ;
